Control flow analysis - PDFSEARCH.IO - Document Search Engine

Control flow analysis
Results: 217

#	Item
51	2008 Annual Computer Security Applications Conference Bridging the Gap between Data-flow and Control-flow Analysis for Anomaly Detection∗ Peng Li University of North Carolina at Chapel Hill Add to Reading List Source URL: flyer.sis.smu.edu.sg Language: English - Date: 2014-12-17 01:40:50
52	Relating Complexity and Precision in Control Flow Analysis David Van Horn Harry G. Mairson Brandeis University Add to Reading List Source URL: www.cs.brandeis.edu Language: English - Date: 2007-10-24 10:22:07
53	Pattern-based Analysis of BPMN - an extensive evaluation of the Control-flow, the Data and the Resource Perspectives? (Revised Version) Petia Wohed1?? , Wil M.P. van der Aalst2,3 , Marlon Dumas3 Arthur H.M. ter Hofstede3 Add to Reading List Source URL: www.workflowpatterns.com Language: English - Date: 2015-10-21 02:00:07
54	CFA2: a Context-Free Approach to Control-Flow Analysis Add to Reading List Source URL: www.ccs.neu.edu - Date: 2010-03-24 16:24:07
55	Pushdown Control-Flow Analysis of Higher Order Programs Christopher Earl1 Matthew Might1 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:49
56	S&P_2014 - Security Analysis of Control Flow Obfuscation Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2014-05-07 16:20:27
57	The Machine-SUIF Control Flow Analysis Library Release versionGlenn Holloway and Michael D. Smith {holloway,smith}@eecs.harvard.edu Division of Engineering and Applied Sciences Harvard University Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2002-07-15 23:52:27
58	Pushdown Flow Analysis of First-Class Control Dimitris Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-09-19 12:06:16 Control flow Models of computation Subroutines Recursion Scheme programming language Tail call Stack Data-flow analysis State Software engineering Computer programming Computing
59	The Complexity of Flow Analysis in Higher-Order Languages David Van Horn The Complexity of Flow Analysis in Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-14 14:13:52 Models of computation Notation Programming language Lambda calculus Control flow analysis Algorithm International Conference on Functional Programming Functional programming Computational complexity theory Theoretical computer science Applied mathematics Computer science
60	Reactivity Initiated Accident Analysis of the HPLWR Three Pass Core with Ascending Gap Flow Using the KIKO3D-ATHLET Code György Hegyi, András Keresztúri, Csaba Maráczy, István Trosztel MTA KFKI Atomic Energy Researc Add to Reading List Source URL: www.djs.si Language: English - Date: 2011-10-07 07:09:19 Nuclear safety Light water reactors Actinides Nuclear chemistry Pressurized water reactor Control rod Nuclear fuel Nuclear reactor Neutron poison Nuclear physics Nuclear technology Energy